Nuprl Definition : outl
12,41
postcript
pdf
outl(
x
) == case
x
of inl(
y
) =>
y
| inr(
z
) => "???"
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
"$token"
FDL editor aliases
outl
origin